Decentralized LTL Specifications for Ensuring Quality of Interaction-centralized System

LTL Goal Specifications Revisited

The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the semantics of LTL is defined wrt. infinite state sequences, while a finite plan generates only a finite trace. This necessitates the use of a finite trace semantics for LTL. A common approach is to evaluate LTL formulae on ...

Centralized or decentralized organization?

Politicians and public managers continue to debate over whether to centralize or to decentralize departments, information systems and services. Shared service centers (SSCs) are gaining importance in public administration as a means to innovate, to reduce costs and to increase service levels. The SSC is a business model in which selected government functions are concentrated into a semi-autonom...

Centralized vs Decentralized Contests

We compare two contest. Decentralized in which there are several independent contests with non overlapping contestants and Centralized in which all contestants …ght for a unique prize which is the sum of all prizes in the small contests. We study the relationship between payo¤s and e¤orts between these two contests. Keywords: Centralization, Decentralization, Contests JEL classi…cation: C72; D7...

Symbolic controller synthesis for LTL specifications

It is an old dream in computer science to automatically generate a system from a formal specification or at least to automatically check whether a system is guaranteed to satisfy a specification. The second problem is known as the verification problem and powerful tools exist that automatically check the correctness of a system with respect to a given declarative specification. In this thesis w...

Probabilistic Automata for Safety LTL Specifications